Computer operator

Results: 656



#Item
101Process calculus / Algebra / Bisimulation / Model theory / Operator / Mathematics / Theoretical computer science / Algebraic structures

BRICS RSAceto & Ing´olfsd´ottir: The Saga of the Axiomatization of Parallel Composition BRICS Basic Research in Computer Science

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2007-07-04 18:40:22
102Logic in computer science / Operator theory / Ordinary differential equations / Spectral theory / Theorems and definitions in linear algebra / Sturm–Liouville theory / Mathematics / Combinatory logic / Lambda calculus

Sample Paper for the amsmath Package File name: testmath.tex American Mathematical Society Version 2.0,

Add to Reading List

Source URL: mirror.easyname.at

Language: English - Date: 1999-11-15 15:09:17
103Functional languages / Data types / C++ Standard Library / Boolean algebra / Boolean data type / Scala / Sequence container / Operator overloading / Id / Computing / Software engineering / Computer programming

Type-Level Computations in Scala Stefan Zeiger Motivation •  Heterogeneous collection types (HList, HArray) val l1 = 42 :: "foo" :: Some(1.0) :: "bar" :: HNil

Add to Reading List

Source URL: slick.typesafe.com

Language: English - Date: 2015-05-08 12:55:33
104Fluorescence in situ hybridization / Leica Camera / Comparative genomic hybridization / Biology / Cytogenetics / Philosophy of biology

Intended Use – CytoVision® Version 7.2 The CytoVision® Image Analysis and Capture System is a rapid metaphase finder, image acquisition and computer aided chromosome analysis system which assists the operator in view

Add to Reading List

Source URL: www.leicabiosystems.com

Language: English - Date: 2013-01-29 11:41:39
105Mobile telecommunications / Geolocation / Videotelephony / Network switching subsystem / Mobility management / GSM / Roaming / Mobile Application Part / Mobile virtual network operator / Technology / Wireless / Mobile technology

Location Privacy without Carrier Cooperation Keen Sung Brian Neil Levine Marc Liberatore School of Computer Science, Univ. of Massachusetts Amherst {ksung,brian,liberato}@cs.umass.edu

Add to Reading List

Source URL: www.mostconf.org

Language: English - Date: 2014-05-17 09:17:32
106Teleconferencing / HDX / Kansas / Electronics / Technology / Communication / Videotelephony / Computer-mediated communication / Polycom

January 8, 2014 VIDEO CONFERENCING KEY OPERATOR LIST TO SCHEDULE VIDEO CONFERENCES:

Add to Reading List

Source URL: virtualservices.kansasworks.com

Language: English - Date: 2014-01-08 12:08:31
107Density matrix / De Broglie–Bohm theory / Operator / Weak measurement / Quantum state / Perturbation theory / Coherent states / Quantum tomography / Dirac delta function / Physics / Quantum mechanics / Qubit

PHYSICAL REVIEW A 91, Weak values as interference phenomena Justin Dressel Department of Electrical and Computer Engineering, University of California, Riverside, California 92521, USA (Received 3 October

Add to Reading List

Source URL: www.ee.ucr.edu

Language: English - Date: 2015-03-18 19:05:05
108Software engineering / C / Bc programming language / Operator / Function / Printf format string / Comparison of Pascal and C / Computing / C programming language / Computer programming

Programming languages — C ABSTRACT (Cover sheet to be provided by ISO Secretariat.) This International Standard specifies the form and establishes the interpretation of programs expressed in the programming language C

Add to Reading List

Source URL: www.math.utah.edu

Language: English - Date: 1997-11-24 16:42:12
109Secure communication / Mobile technology / Computer network security / Smart cards / Communication / Machine-to-Machine / Gemalto / European Telecommunications Standards Institute / Cinterion Wireless Modules GmbH / Technology / Security / Electronic commerce

Security in Machine-to-Machine Communication: The role of the Telecommunication Operator © Cinterion Wireless Modules GmbH 2012, All rights reserved “Internet of Things” = Increasing

Add to Reading List

Source URL: docbox.etsi.org

Language: English - Date: 2013-01-16 08:59:07
110Computing / Computer programming / Parsing expression grammar / Recursive descent parser / LL parser / Left recursion / LR parser / Operator associativity / Syntax / Software engineering / Formal languages / Parsing

Katahdin Mutating a Programming Language’s Syntax and Semantics at Runtime Chris Seaton The University of Bristol

Add to Reading List

Source URL: www.chrisseaton.com

Language: English - Date: 2013-03-27 03:32:35
UPDATE